Answer Set Programming

Conceptual logic programs

Applied Mathematics / Answer Set Programming / Description Logic / Boolean Satisfiability / Tree Automata / Rule Based

A System with Template Answer Set Programs

Data Structure / Answer Set Programming / Industrial Application

Strongly Equivalent Temporal Logic Programs

Answer Set Programming / Linear Temporal Logic / Temporal Logic / Transition Systems

Loop Formulas for Splitable Temporal Logic Programs

Logic Programming / Answer Set Programming / Linear Temporal Logic / Boolean Satisfiability / Temporal Logic

Strongly Equivalent Temporal Logic Programs

Answer Set Programming / Linear Temporal Logic / Temporal Logic / Transition Systems

Transforming controlled natural language biomedical queries into answer set programs

Answer Set Programming / Controlled Natural Language

Copyright © 2017 DADOSPDF Inc.